function jump_to_manager()
{
    document.getElementById("IF").src="mngManager";
}

function jump_to_answer()
{
    document.getElementById("IF").src="mngAnswer";
}